On Sifted Colimits and Generalized Varieties
نویسنده
چکیده
Filtered colimits, i.e., colimits over schemes D such that D-colimits in Set commute with finite limits, have a natural generalization to sifted colimits: these are colimits over schemes D such that D-colimits in Set commute with finite products. An important example: reflexive coequalizers are sifted colimits. Generalized varieties are defined as free completions of small categories under sifted-colimits (analogously to finitely accessible categories which are free filtered-colimit completions of small categories). Among complete categories, generalized varieties are precisely the varieties. Further examples: category of fields, category of linearly ordered sets, category of nonempty sets.
منابع مشابه
A characterisation of algebraic exactness
An algebraically exact category is one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these limits and colimits as hold in any variety. Such categories were studied by Adámek, Lawvere and Rosický: they characterised them as the categories with small lim...
متن کاملQuasivarieties and varieties of ordered algebras: regularity and exactness
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets. We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, i...
متن کاملStrongly Complete Logics for Coalgebras
Coalgebras for a functor T on a category X model many different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary strongly complete specification languages for Set-based coalgebras. We show how to associate a finitary logic to any finite-sets preserving functor T and prove the logic to be strongly complete under a mild condition on T . The proof i...
متن کاملEquational presentations of functors and monads
In categorical universal algebra, it is well known that a finitary equational presentation of algebras in a finitary variety K amounts to the existence of a coequaliser of a pair of morphisms between finitely generated free algebras. The essence of a universal-algebraic flavour of a finitary functor L : K −→ K is that L is determined by its behaviour on finitely generated free algebras. In fact...
متن کاملA classification of accessible categories
For a suitable collection D of small categories, we define the D-accessible categories, generalizing the λ-accessible categories of Lair, Makkai, and Paré; here the λ-accessible categories are seen as the D-accessible categories where D consists of the λ-small categories. A small category C is called D-filtered when C-colimits commute with D-limits in the category of sets. An object of a catego...
متن کامل